Search results for " entailment"

showing 10 items of 12 documents

Two Types of pseudo-clefts?

2010

Sentences such as 'What Fred does is complain' and 'What Fred does is important' have both been labeled as pseudo-clefts, though of two distinct types. We provide four tests to structurally distinguish such constructions. Entailment patterns and a number of structural ties between the post-copular constituent and specific constituents of the pre-copular relative clause suggest using the label ‘pseudo-cleft’ for the former type only. This paper also examines certain cases of pseudo-clefts with no simple correlates, and vice versa, to argue – contra Higgins 1973 – that these do not necessarily contradict the existence of a structural connection (a transformation, in the sense of Z. S. Harris)…

Predicational vs. specificational pseudo-cleft entailment cataphora predicative pronounsSettore L-LIN/01 - Glottologia E Linguistica
researchProduct

Iterated Conditionals and Characterization of P-Entailment

2021

In this paper we deepen, in the setting of coherence, some results obtained in recent papers on the notion of p-entailment of Adams and its relationship with conjoined and iterated conditionals. We recall that conjoined and iterated conditionals are suitably defined in the framework of conditional random quantities. Given a family \(\mathcal {F}\) of n conditional events \(\{E_{1}|H_{1},\ldots , E_{n}|H_{n}\}\) we denote by \(\mathcal {C}(\mathcal {F})=(E_{1}|H_{1})\wedge \cdots \wedge (E_{n}|H_{n})\) the conjunction of the conditional events in \(\mathcal F\). We introduce the iterated conditional \(\mathcal {C}(\mathcal {F}_{2})|\mathcal {C}(\mathcal {F}_{1})\), where \(\mathcal {F}_{1}\)…

CombinatoricsPhysicsSettore MAT/06 - Probabilita' E Statistica MatematicaCoherence Conditional events Conditional random quantitiesConditional previsions Conjoined conditionals Iterated conditionalsProbabilistic entailment.Iterated functionProduct (mathematics)Characterization (mathematics)
researchProduct

Machine-readable entailments with the Italian 'prendere' construction expressing hitting and insulting events

2022

The Italian language features a little debated transitive construction with prendere ‘to take/to catch’ in which a prepositional phrase (PP) with an adverbial value occurs mandatorily (e.g. Lui prese a pugni Leo ‘He punched Leo’). Semantically, this construction often implies the use of physical force or verbal offence. In the hitting or insulting event, the notional subject generally is a [+ Human] Agent, whilst the notional direct object generally is a [+ Animate] Affectee ([1]: 4). It can be contended that prendere, which carries no literal meaning, is zero-valent and that the predicate assigning semantic roles is the PP. A computational tool will be illustrated, …

Natural Language Processing Recognizing Textual Entailment Semantic Role Extraction Adverbial PPs with a predicative value Support verbsSettore L-LIN/01 - Glottologia E Linguistica
researchProduct

La tradición clásica como referencia de vanguardia: la Antigüedad griega y romana en la obra del pintor Gregorio Prieto (1897-1992)

2019

This article analyses the impact of classical tradition on the artistic production of Gregorio Prieto (1897-1992), painter par excellence of the Generation of 1927. It will be discovered how this influence, far from becoming a conservative reference, would constitute an incentive for his entailment with the avant-garde, especially with surrealism. Although the classic trace is found with more intensity in the creations produced during his Roman years, between 1928 and 1929, when he also made important trips to Sicily and Greece, Greece and Rome would nevertheless continue to be constitutive of his aesthetic experience throughout his later and extensive career.

UNESCO::CIENCIAS DE LAS ARTES Y LAS LETRASpainter par excellence of the Generation of 1927. It will be discovered how this influencewould constitute an incentive for his entailment with the avant-gardela Antigüedad griega y romana en la obra del pintor Gregorio Prieto (1897-1992) García-Luengo Manchado [1135-9560 8276 Studia philologica valentina 536436 2019 21 7225816 La tradición clásica como referencia de vanguardia]between 1928 and 1929when he also made important trips to Sicily and Greecefar from becoming a conservative referenceGreece and Rome would nevertheless continue to be constitutive of his aesthetic experience throughout his later and extensive career. Gregorio Prieto ? Clásico ? Surrealismo ? Roma ? Greciaespecially with surrealism. Although the classic trace is found with more intensity in the creations produced during his Roman yearsGregorio Prieto ? Classicism ? Surrealism ? Rome ? Greece 117 132 https://pages.uv.es/SPhV/cas/numero21.wiki//pages.uv.es/SPhV/cas/numero21.wiki [Gregorio Prieto ? Classicism ? Surrealism ? Rome ? Greece 117 132 https]1135-9560 8276 Studia philologica valentina 536436 2019 21 7225816 La tradición clásica como referencia de vanguardia: la Antigüedad griega y romana en la obra del pintor Gregorio Prieto (1897-1992) García-Luengo Manchado:CIENCIAS DE LAS ARTES Y LAS LETRAS [UNESCO]Javier This article analyses the impact of classical tradition on the artistic production of Gregorio Prieto (1897-1992)
researchProduct

Probabilistic Logic under Coherence: Complexity and Algorithms

2005

In previous work [V. Biazzo, A. Gilio, T. Lukasiewicz and G. Sanfilippo, Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P, Journal of Applied Non-Classical Logics 12(2) (2002) 189---213.], we have explored the relationship between probabilistic reasoning under coherence and model-theoretic probabilistic reasoning. In particular, we have shown that the notions of g-coherence and of g-coherent entailment in probabilistic reasoning under coherence can be expressed by combining notions in model-theoretic probabilistic reasoning with concepts from default reasoning. In this paper, we continue this line of research. Based on the above sem…

conditional probability assessmentSettore MAT/06 - Probabilita' E Statistica MatematicaDivergence-from-randomness modelalgorithmsprobabilistic logicConditional probability assessments; probabilistic logic; g-coherence; g-coherent entailment; complexity and algorithms.Artificial IntelligenceProbabilistic logic networkprobabilistic logic under coherenceConditional probability assessmentsProbabilistic analysis of algorithmsNon-monotonic logicconditional constraintMathematicsg-coherent entailmentConditional probability assessments probabilistic logic g-coherence g-coherent entailment complexity and algorithms.Reasoning systemcomputational complexitymodel-theoretic probabilistic logicApplied Mathematicscomplexity and algorithmsProbabilistic logiclogical constraintProbabilistic argumentationg-coherenceconditional probability assessment logical constraint conditional constraint probabilistic logic under coherence model-theoretic probabilistic logic g-coherence g-coherent entailment computational complexity algorithmsProbabilistic CTLalgorithms; computational complexity; conditional constraint; conditional probability assessment; g-coherence; g-coherent entailment; logical constraint; model-theoretic probabilistic logic; probabilistic logic under coherenceAlgorithmAnnals of Mathematics and Artificial Intelligence
researchProduct

Natural Language Inference in Ordinary and Support Verb Constructions

2020

The family of clause types known as 'support (or 'light') verb construction' (SVC) manifests a peculiar syntax-semantics interface if compared with ordinary verb constructions (OVC). If, in e.g. She laughed, the verb licenses an argument and assigns it a semantic role, syntacticians of every stripe nowadays agree that it is the noun laugh, in She gave a laugh, which fulfils the same function. The differences between the two types have been extensively discussed in the linguistics literature (systematic research started in the 1970s), less so in Computational Linguistics. This paper has two objectives. First, it will propose an innovative type of semantic role, which is termed Cognate Semant…

Non-verbal predicates Semantic roles Entailments Paraphrasing.Machine translationComputer scienceVerbNotationcomputer.software_genreLinguisticsPredicate (grammar)Settore L-LIN/01 - Glottologia E LinguisticaNounCognateArgument (linguistics)Computational linguisticscomputer
researchProduct

The so-called Reaction object construction: Reaction or co-predication?

2017

Nomi predicativi restrizioni sui determinanti correlazioni aggettivi-avverbi entailment equi-subjectSettore L-LIN/01 - Glottologia E Linguistica
researchProduct

Proteus: Adverbial multi-word expressions in Italian and their cognate counterparts in -mente

2022

Abstract: This contribution focuses on Italian adverbs ending in -mente (e.g. lussuosamente ‘luxuriously’) with an analytic counterpart (a multi-word expression, MWE) which is etymologically related and it is capable of equally performing the adverbial function (e.g. di lusso). Two sentences diverging only in this regard have the same truth values and they entail each other. Morphologically, such adverbial MWEs are formed by a preposition which is followed by a noun/adjective sharing the content morpheme of the -mente adverb. However, in some contexts the cognate –mente adverb cannot replace its MWE. For instance, only adjectival MWEs can be used as predicates in copular constructions (La f…

Subject-oriented adverb(ial)s (multi-word) adverbials/adjectives morphemic invariance inflectional requirements entailments object raisingSettore L-LIN/01 - Glottologia E Linguistica
researchProduct

Probabilistic Logic under Coherence‚ Model−Theoretic Probabilistic Logic‚ and Default Reasoning in System P

2016

We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore how probabilistic reasoning under coherence is related to model-theoretic probabilistic reasoning and to default reasoning in System P. In particular, we show that the notions of g-coherence and of g-coherent entailment can be expressed by combining notions in model-theoretic probabilistic logic with concepts from default reasoning. Moreover, we show that probabilistic reasoning under coherence is a generalization of default reasoning in System P. That is, we provide a new probabilistic semantics for System P, which neither uses infinitesimal probabilities nor atomic bound (or bi…

Deductive reasoningSettore MAT/06 - Probabilita' E Statistica MatematicaConditional probability assessments conditional constraints probabilistic logic under coherence model-theoretic probabilistic logic g-coherence g-coherent entailment defaultreasoning from conditional knowledge bases System P conditional objects.conditional constraintsLogicDefault logicStatistics::Other StatisticsProbabilistic logic networkConditional probability assessmentsprobabilistic logic under coherenceNon-monotonic logicSystem PMathematicsg-coherent entailmentHardware_MEMORYSTRUCTURESmodel-theoretic probabilistic logicbusiness.industryProbabilistic logicSystem P; g-coherence; conditional objectsCoherence (statistics)default reasoning from conditional knowledge basesProbabilistic argumentationConditional probability assessments; conditional constraints; probabilistic logic under coherence; model-theoretic probabilistic logic; g-coherence; g-coherent entailment; default reasoning from conditional knowledge bases; System P; conditional objects.Philosophyg-coherenceProbabilistic CTLArtificial intelligencebusinessAlgorithmconditional objectsJournal of Applied Non−Classical Logics
researchProduct

Measuring Meaning

2021

This study will present a tool designed for meaning extraction with monoclausal sentences in Italian. Its main features will be illustrated with instances of the Italian causative clause type featuring the verb fare ‘make’ (e.g. Egli fa piangere il bambino ‘He makes the child cry’), a construction which invariably embeds a clause (e.g.Il bambino piange ‘The child cries’) with which it establishes an entailment relationship. The tool automatically accomplishes the following tasks: it answers relevantwh- questions (e.g. Who cries? Who makes someone cry?) and detects the entailment. Concurrent with this presentation, this study will also encourage a reflection on the research currently being c…

Semantic roles · Entailments · Paraphrasing · Question answeringSettore L-LIN/01 - Glottologia E Linguistica
researchProduct